Advances in Automatic Software Testing: Test-Comp 2022
نویسندگان
چکیده
Abstract Test-Comp 2022 is the 4th edition of Competition on Software Testing. Research competitions are a means to provide annual comparative evaluations. focusses fully automatic software test generators for C programs. The results competition shall be reproducible and an overview current state art in area test-generation. was based 4 236 test-generation tasks Each task consisted program specification (error coverage, branch coverage). had 12 participating from 5 countries.
منابع مشابه
Automatic, evolutionary test data generation for dynamic software testing
This paper proposes a dynamic test data generation framework based on genetic algorithms. The framework houses a Program Analyser and a Test Case Generator, which intercommunicate to automatically generate test cases. The Program Analyser extracts statements and variables, isolates code paths and creates control flow graphs. The Test Case Generator utilises two optimisation algorithms, the Batc...
متن کاملAutomatic Test Software
Even when software is developed using a rigorous discipline, it will contain a significant number of bugs. At one time, it was believed that the use of formal methods would eventually allow probable correct programs to be written, thus completely eliminating the need for testing. Today, we know that while the number of defects in a program written will be lower under certain development environ...
متن کاملAutomatic Test Case Generation with SilK Testing
The research in Software Testing accumulate large amount of data. As the software technology more advanced day by day, the complexity of software is increasing. Software testing is costly and time consuming process in software development life cycle. Software developer faces many problem when create test cases because if any inaccurate or incomplete step follow during create test cases then it ...
متن کاملAutomatic Testing of Object-Oriented Software
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. The AutoTest unit testing framework automates both, by using Eiffel contracts — already present in the software — as test oracles, and generating objects and routine arguments to exercise all given classes; manual test...
متن کاملAutomatic Test Cases Generation from Software Specifications
A new technique is proposed in this paper to extend the Integrated Classification Tree Methodology (ICTM) developed by Chen et al. [13] This software assists testers to construct test cases from functional specifications. A Unified Modelling Language (UML) class diagram and Object Constraint Language (OCL) are used in this paper to represent the software specifications. Each classification and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2022
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-99429-7_18